Mathematical proof - PDFSEARCH.IO - Document Search Engine

Mathematical proof
Results: 1839

#	Item
561	Standalone Tactics using OpenTheory Ramana Kumar?1 and Joe Hurd2 1 University of Cambridge Add to Reading List Source URL: www.gilith.com Language: English - Date: 2012-06-04 20:10:04 Logic in computer science Automated theorem proving Formal methods Proof assistant Isabelle HOL Automated reasoning Logic for Computable Functions Theorem Proving in Higher-Order Logics Theoretical computer science Mathematical software Mathematics
562	Table of contents United States 1 Dollar Gold Large Indian Head Coronet Small Indian Head Add to Reading List Source URL: www.libertystreet.com Language: English - Date: 2014-12-24 18:37:17 Money Dollar coin Proof coinage Coins of the United States dollar Mathematical proof Proof test Two-cent piece Eisenhower Dollar Coins of the United States Currency Numismatics
563	HABITS OF MIND: AN ORGANIZING PRINCIPLE FOR MATHEMATICS CURRICULUM Al Cuoco E. Paul Goldenberg Add to Reading List Source URL: www.promys.org Language: English - Date: 2013-10-15 11:05:38 Algebra Mathematical object Mathematician Number Emmy Noether David Hilbert Mathematical proof Mathematics Philosophy of mathematics Mathematics education
564	Reasoned Modelling: Combining Proof & Modelling Patterns Andrew Ireland School of Mathematical & Computer Sciences Heriot-Watt University Gudmund Grov Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:20:29 Rippling Mathematical proof Knowledge Epistemology Mathematics Automated theorem proving Heuristics
565	Zenon Modulo: When Achilles Outruns the Tortoise using Deduction Modulo? David Delahaye1 , Damien Doligez2 , Frédéric Gilbert2 , Pierre Halmagrand1 , and Olivier Hermant3 1 Add to Reading List Source URL: bware.lri.fr Language: English - Date: 2014-09-27 11:16:17 Logic in computer science Unification First-order logic Combinatory logic Rewriting Model theory Axiom Mathematical proof Peano axioms Logic Mathematics Mathematical logic
566	Microsoft Word - FC_7.875x10.5_121814 Add to Reading List Source URL: meredithdirectmedia.com Language: English - Date: 2014-10-22 10:24:55 Computer file formats Graphics file formats ISO standards Vector graphics PDF/X Mathematical proof Prepress Portable Document Format Bleed Printing Computing Computer graphics
567	A Rewrite System for Strongly Normalizable Terms Olivier Hermant1 and Ronan Saillard1,2 1 2 Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2015-02-16 03:50:46 Logic in computer science Proof theory Symbol Function Lambda calculus Combinatory logic Natural deduction Mathematics Mathematical logic Theoretical computer science
568	Tree Interpolation in Vampire? R´egis Blanc1 , Ashutosh Gupta2 , Laura Kov´acs3 , and Bernhard Kragl4 1 EPFL Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2013-12-12 08:40:38 Applied mathematics Logic in computer science Binary trees Craig interpolation Lemmas Interpolation Satisfiability Modulo Theories Tree Mathematical proof Mathematics Theoretical computer science Mathematical logic
569	Control in the π-Calculus [Extended Abstract] 1. Kohei Honda Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2004-01-11 10:44:35 Mathematical logic Lambda calculus Logic in computer science Models of computation Curry–Howard correspondence Natural deduction Symbol Valuation Π-calculus Mathematics Proof theory Theoretical computer science
570	Automated Deduction in the B Set Theory using Deduction Modulo? Guillaume Bury1 , David Delahaye1 , Damien Doligez2 , Pierre Halmagrand1 , and Olivier Hermant3 1 Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2015-03-03 08:27:10 Symbol Admissible rule Proof theory First-order logic Entailment Constructible universe Curry–Howard correspondence Orbifold Logic Mathematical logic Deduction

UPDATE